have proved correct